Eureka step

In {program transformation}, a transformation which is not

obvious or easy to define as an {algorithm}.

(1994-12-08)